61. A first journey through logic /
المؤلف: Martin Hils, François Loeser.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
62. A formalization of set theory without variables
المؤلف: Tarski, Alfred.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
63. A formalization of set theory without variables
المؤلف: Tarski, Alfred
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
64. A formalization of set theory without variables
المؤلف: Tarski, Alfred
المکتبة: (طهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
65. A formalization of set theory without variables /
المؤلف: by Alfred Tarski and Steven Givant.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
66. A framework for priority arguments
المؤلف: Lerman, Manuel, 3491-
المکتبة: (طهران)
موضوع: ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
34
67. A friendly introduction to mathematical logic
المؤلف: / Christopher C. Leary
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: م‍ن‍طق ک‍ام‍پ‍ی‍وت‍ری,Logic, Symbolic and mathematical
رده :
QA
۷۶
/
۹
/
م
۸
ل
۹ ۱۳۷۹
68. A friendly introduction to mathematical logic
المؤلف: Leary, Christopher C.
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Computer logic,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
L43
2000
69. A friendly introduction to mathematical logic /
المؤلف: Christopher C. Leary
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
L63
L43
2000
70. A logical introduction to proof
المؤلف: Daniel W. Cunningham
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
C86
2012eb
71. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B
موضوع : ، Logic, Symbolic and mathematical
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
72. A mathematical introduction to logic
المؤلف: / Herbert B. Enderton
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
,.
E54
,
2001
73. A mathematical introduction to logic
المؤلف: / [by] Herbert B. Enderton,Enderton
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
E54
74. <A> mathematical introduction to logic
المؤلف: ]by[ Herbert B. Enderton
المکتبة: (کرمان)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
E54
1972
75. <A> mathematical introduction to logic
المؤلف: ]by[ Herbert B. Enderton
المکتبة: (کرمان)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
E54
1972
76. A mathematical introduction to logic
المؤلف: Enderton, Herbert B.
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
E59
2001
77. A mathematical introduction to logic
المؤلف: Enderton, Herbert B.
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
E59
78. A mathematical introduction to logic
المؤلف: Enderton, Herbert B.
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
E54
2001
79. A mathematical introduction to logic
المؤلف: / Herbert B. Enderton
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
E54
2001
80. A mathematical introduction to logic
المؤلف: Enderton, Herbert B.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Logic,Symbolic and mathematical
رده :
QA
9
.
E54
